81. First-order dynamic logic
Author: Harel, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
6
.
H34
1979
82. First-order dynamic logic
Author: David Harel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L28
Vol
.
68
83. First-order dynamic logic
Author: Harel, David
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L4
v
.
68
84. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
Author: Internatinal FCT-confernce, Borgholm, Sweden, 3891
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
Classification :
QA
9
.
6
.
I57
1983
85. Fundamentals of computation theory
Author: / edited by Marek Karpinski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Recursion theory -- Congresses,Computational complexity -- Congresses,Machine theory -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
9
.
6
.
I57
1977
86. Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977
Author: / edited by Marek Karpinski
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses
Classification :
QA267
.
I57
1977
87. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
Author: edited by Marek Karpinski
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
56
88. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
Author: edited by Marek Karpinski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
56
89. Fundamentals of generalized recursion theory
Author: Melvin Fitting
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F57
1981
90. Fundamentals of generalized recursion theory
Author: Fitting, Melvin,1942-
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory
Classification :
9
.
6
.
F57
91. Fundamentals of generalized recursion theory
Author: Fitting, Melvin
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F57
1981
92. Fundamentals of mathematical logic /
Author: Peter G. Hinman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
Classification :
QA9
.
H527
2005
93. General recursion theory
Author: Fenstad, Jens Erik
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory
Classification :
9
.
6
.
F46
94. General recursion theory
Author: Jens E. Fenstad
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F46
1980
95. General recursion theory : an axiomatic approach
Author: Fenstad, Jens Erik.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
F46
96. Higher recursion theory
Author: Sacks, Gerald E.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
S23
1990
97. Higher recursion theory
Author: Gerald E. Sacks
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
S23
1990
98. Higher recursion theory
Author: Sacks, Gerald E
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory
Classification :
9
.
6
.
S23
99. Higher recursion theory
Author: / Gerald E. Sacks
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Recursion theory.
Classification :
QA
,
9
.
6
,.
S23
,
1990
100. Higher recursion theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Recursion theory. ;
